$\forall$$M$:MsgA, $l$:IdLnk, ${\it tg}$:Id. Dec(rcv($l$,${\it tg}$) declared in $M$)